char *ghc_rts_opts = "-K100m";
